Steering Fragments of Instruction Sequences

نویسنده

  • Jan A. Bergstra
چکیده

A steering fragment of an instruction sequence consists of a sequence of steering instructions. These are decision points involving the check of a propositional statement in sequential logic. The question is addressed why composed propositional statements occur in steering fragments given the fact that a straightforward transformation allows their elimination. A survey is provided of constraints that may be implicitly assumed when composed propositional statements occur in a meaningful instruction sequence.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Thread Extraction for Polyadic Instruction Sequences

In this paper, we study the phenomenon that instruction sequences are split into fragments which somehow produce a joint behaviour. In order to bring this phenomenon better into the picture, we formalize a simple mechanism by which several instruction sequence fragments can produce a joint behaviour. We also show that, even in the case of this simple mechanism, it is a non-trivial matter to exp...

متن کامل

The Effect of Explicit Instruction of Formulaic Sequences on Oral Proficiency Improvement of Young Iranian EFL Students

Abstract This study aimed to shed light on young Iranian EFL students’ oral proficiency improvement through explicit instruction of formulaic sequences (FSs). This pretest-posttest quasi experimental study was conducted in a bilingual school in Shahrekord, Iran. Accordingly, based on ACTFL OPI test, two groups of low intermediate students with age range of 11 to 12 were chosen to be assigned as...

متن کامل

The Effect of Explicit Instruction of Formulaic Sequences on Oral Proficiency Improvement of Young Iranian EFL Students

Abstract This study aimed to shed light on young Iranian EFL students’ oral proficiency improvement through explicit instruction of formulaic sequences (FSs). This pretest-posttest quasi experimental study was conducted in a bilingual school in Shahrekord, Iran. Accordingly, based on ACTFL OPI test, two groups of low intermediate students with age range of 11 to 12 were chosen to be assigned as...

متن کامل

Developing EFL Learners' Oral Proficiency through Animation-based Instruction of English Formulaic Sequences

The current pretest-posttest quasi-experimental study attempts, firstly, to probe the effects of teaching formulaic sequences (FSs) on the second or foreign language (L2)  learners' oral proficiency improvement and secondly, to examine whether teaching FSs through different resources (i.e. animation vs. text-based readings) have any differentially influential effects in augmenting L2  l...

متن کامل

The Investigation of Mutations and Comparison of Leptin Gene Pro-Motor in Najdi Cattle with the Database NCBI Sequences

Objective: Identity the genetic aspects and major gene influence on energy balance, milk production, fertility, food safety and consumer are the recent interests of genetic and breeding researchers. Methods: Najdi Cattle is the most prominent breeds in Khuzestan province. To do this plan in Shoushtar Najdi Cattle Station, blood samples were taken from 15 Najdi Cattles. DNA was extracted from wh...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1010.2850  شماره 

صفحات  -

تاریخ انتشار 2010